https://dasbestelexikon.de/pt/wiki/Lógica_proposicional